41. Formal approaches to software testing :

کتابخانه: كتابخانه مركزي و مركز اسناد دانشگاه مازندران (مازندران)

موضوع : Formal methods (Computer science) ; Congresses ; Computer software ; Testing ; Congresses ;

42. Formal approaches to software testing

پدیدآورنده :

کتابخانه: كتابخانه مركزي و مركز اسناد دانشگاه شهيد چمران (خوزستان)

موضوع : Formal methods (Computer science)--Congresses,Computer software--Testing--Congresses

رده :
QA
,
76
.
9
,.
F67
,
F52
,
2003

43. Formal approaches to software testing : Third International Workshop on Formal Approaches to Testing of Software : FATES 2003 : Montreal, Quebec, Canada, October 6th, 2003 : revised papers

پدیدآورنده :

کتابخانه: (طهران)

موضوع : Congresses ، Formal methods )Computer science(,Testing -- Congresses ، Computer software

رده :
QA
76
.
L28
Vol
.
2931

44. Formal approaches to software testing and runtime verification

کتابخانه: كتابخانه مركزي و مركز اسناد دانشگاه مازندران (مازندران)

موضوع : Formal methods (Computer science) ; Congresses. ; Computer software ; Testing ; Congresses. ;

45. Formal approaches to software testing and runtime verification

پدیدآورنده :

کتابخانه: كتابخانه مركزي و مركز اسناد دانشگاه شهيد چمران (خوزستان)

موضوع : Formal methods (Computer science)--Congresses,Computer software--Testing--Congresses,Software testing,Runtime verification,FATES,RV

رده :
QA
,
76
.
9
,.
F67
,
F524
,
2006

46. Formal approaches to software testing : 4th International Workshop, FATES 2004, Linz, Austria, September 21, 2004 : revised selected papers

پدیدآورنده :

کتابخانه: (طهران)

موضوع : Congresses ، Formal methods )Computer science(,Testing -- Congresses ، Computer software

رده :
QA
76
.
L28
Vol
.
3395

47. Formal aspects in security and trust :

پدیدآورنده :

کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)

موضوع : Computer security, Congresses.,Formal methods (Computer science), Congresses.

48. Formal aspects in security and trust :

پدیدآورنده :

کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)

موضوع : Computer security, Congresses.,Formal methods (Computer science), Congresses.,Public key infrastructure (Computer security), Congresses.

49. Formal aspects of component software

پدیدآورنده :

کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)

موضوع : Component software, Congresses,Formal methods (Computer science), Congresses

رده :
QA76
.
9
.
E94
I585
2010eb

50. Formal aspects of component software :

پدیدآورنده :

کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)

موضوع : Component software, Congresses.,Formal methods (Computer science), Congresses.,Logics and Meanings of Programs.,Component software.,Computer programming / software development.,Computers-- Programming-- General.,Computers-- Programming Languages-- General.,Computers-- Software Development & Engineering-- General.,Formal methods (Computer science),Mathematical theory of computation.,Mathematics-- Logic.,Programming & scripting languages: general.,Software Engineering.

رده :
QA76
.
9
.
F67

51. Formal aspects of security : first international conference, FASec 2002 : London, UK, December 16-18, 2002 : revised papers

پدیدآورنده :

کتابخانه: (طهران)

موضوع : Congresses ، Computer security,Congresses ، Formal methods )Computer science(

رده :
QA
76
.
L28
Vol
.
2629

52. Formal concept analysis

پدیدآورنده :

کتابخانه: كتابخانه مركزي و مركز اطلاع رساني دانشگاه شاهد (طهران)

موضوع : Lattice theory, Congresses,Computer science, Mathematics, Congresses,Artificial intelligence, Mathematical models, Congresses,Mathematical analysis, Congresses,Logic, symbolic and mathematical, Congresses,Formal methods (Computer science), Congresses

رده :
QA
،
171
.
5
،.
I55
،
2011

53. Formal methods :

کتابخانه: كتابخانه مركزي و مركز اسناد دانشگاه مازندران (مازندران)

موضوع : Formal methods (Computer science) ; Congresses. ;

54. Formal methods :

پدیدآورنده :

کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)

موضوع : Formal methods (Computer science), Congresses.,Algorithms & data structures.,Computer programming-- software development.,Computers-- Programming-- Algorithms.,Computers-- Programming-- General.,Computers-- Programming Languages-- General.,Computers-- Software Development & Engineering-- General.,Formal methods (Computer science),Mathematical theory of computation.,Mathematics-- Logic.,Programming & scripting languages: general.,Software Engineering.

رده :
QA76
.
9
.
F67

55. Formal methods

پدیدآورنده :

کتابخانه: کتابخانه زبانهای خارجی و منابع اسلامی (قم)

موضوع : Formal methods (Computer science) -- Congresses.,Formal methods (Computer science),روش‌های صوری (کامپیوتر) -- کنگره ها ,روش‌های صوری (کامپیوتر)

رده :
QA
76
.
9
.
F67
2016
E-Book
,

56. Formal methods :

کتابخانه: كتابخانه مركزي و مركز اسناد دانشگاه مازندران (مازندران)

موضوع : Formal methods (Computer science) ; Congresses. ;

57. Formal methods :

کتابخانه: كتابخانه مركزي و مركز اسناد دانشگاه مازندران (مازندران)

موضوع : Formal methods (Computer science) ; Congresses. ;

58. Formal methods: Foundations and applications :

پدیدآورنده :

کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)

موضوع : Formal methods (Computer science), Congresses.

رده :
QA76
.
9
.
F67
B73
2012eb

59. Formal methods and hybrid real-time systems

پدیدآورنده :

کتابخانه: كتابخانه مركزي و مركز اطلاع رساني دانشگاه شاهد (طهران)

موضوع : Bj▓rner, D., (Dines), 1937-,Chaochen, Zhou,Formal methods (Computer science), Congresses,Real-time data processing, Congresses

رده :
QA
،
76
.
9
،.
F67
,
F525
،
2007

60. Formal methods and hybrid real-time systems

پدیدآورنده :

کتابخانه: كتابخانه مركزي و مركز اسناد دانشگاه شهيد چمران (خوزستان)

موضوع : Bj�rner, D.--(Dines),--1937,Chaochen, Zhou.,Formal methods (Computer science)--Congresses,Real-time data processing--Congresses

رده :
QA
,
76
.
9
,.
F67
,
F525
,
2007